Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
511	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.5 October 1, 2014 Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2014-10-01 14:51:04 Binary operations Deduction Proof theory If and only if Logic Natural deduction Valuation Abstract algebra Mathematics Algebra
512	CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 Planar Case of the Maximum Box and Related Problems∗ Ying Liu† Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-01-08 18:44:30 Mathematical logic Theoretical computer science Big O notation Logarithm Mathematics Mathematical analysis Algorithm
513	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
514	Microsoft Word - 2_21_Hidemi_Ishiuchi_ABSTRACT_BIO.docx Add to Reading List Source URL: inc11.org Language: English - Date: 2015-04-13 05:43:24 Logic families Electronic design Computer memory Semiconductors Nanoelectronics Semiconductor industry Dynamic random-access memory Semiconductor device MOSFET Electronic engineering Technology Electronics
515	Identity-Set-based Broadcast Encryption supporting “Cut-or-Select” with Short Ciphertext Yan Zhu, Xin Wang, RuiQi Guo Di Ma Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-28 05:08:45 Deduction Differential geometry Symbol Differential geometry of curves Entailment Logic Abstract algebra Geometry
516	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
517	Optimal-Time Adaptive Strong Renaming, with Applications to Counting [Extended Abstract] Dan Alistarh ∗ EPFL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-17 23:45:10 Sorting algorithms Computational complexity theory Analysis of algorithms Algorithm Mathematical logic Randomized algorithm Time complexity Consensus Sorting network Theoretical computer science Applied mathematics Mathematics
518	A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-11-18 00:50:05 Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics
519	Applicative Abstract Categorial Grammar Semantics Seminar Toukyou, Japan, June 1, 2012 Add to Reading List Source URL: okmij.org Language: English - Date: 2012-06-05 21:37:41 Formal languages Science Quantification Predicate logic Categorial grammar Parsing Binding Formal grammar Linguistics Logic Semantics
520	The Cybernetics of Value and the Value of Cybernetics. The Art of Invariance and the Invariance of Art. Et Cetera Ranulph Glanville, Portsmouth, Hants, UK Abstract Add to Reading List Source URL: www.univie.ac.at Language: English - Date: 1999-07-16 07:34:02 Philosophy Value Meaning Philosophy of language Laws of Form Culture Function Sense and reference Instrumental value Mathematics Logic Philosophical logic

UPDATE